Skip to content

Wrong identity#183

Closed
aryajalali wants to merge 1 commit intoStatProofBook:masterfrom
aryajalali:patch-1
Closed

Wrong identity#183
aryajalali wants to merge 1 commit intoStatProofBook:masterfrom
aryajalali:patch-1

Conversation

@aryajalali
Copy link
Copy Markdown

The identity $$-\ln x \geq 1 - x$$ didn't make any sense. I tried to fix it by replacing $x$ with $\frac{1}{x}$.

$$ \ln x \leq x - 1 \rightarrow \ln \frac{1}{x} \leq \frac{1}{x} - 1 \equiv -\ln x \leq \frac{1}{x} - 1 \equiv \ln x \geq 1 - \frac{1}{x} $$

The identity  $$-\ln x  \geq 1 - x$$ didn't make any sense. I tried to fix it by replacing $$x$$ with $$\frac{1}{x}$$.
@StatProofBook
Copy link
Copy Markdown
Owner

Hey @nothatcreative5!

The identity $\ln x \leq x - 1$ holds for all $x > 0$. Multiplying this with $-1$, we have $- \ln x \geq 1 - x$ or $\ln \frac{1}{x} \geq 1 - x$, if you want. This is then applied in the first line of eq. 4. But I just see that there is an error: $p(x)$ and $q(x)$ should be reversed in the fraction on the right-hand side of the first line of eq. 4. This will be corrected.

Cheers, Joram.

JoramSoch added a commit that referenced this pull request Oct 17, 2022
Some modifications were done to the proof of Gibbs' inequality (/P/gibbs-ineq). This resolves PR #183.
@StatProofBook
Copy link
Copy Markdown
Owner

The error has been corrected.

@aryajalali aryajalali deleted the patch-1 branch October 17, 2022 10:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants